public class qq {
    public static void main(String[] args) {
        System.out.printf("%15d",0xABCDEF);
    }
}
